⚙️ Syntactic MonoidsSpecificRegular Languages, Algebraic Automata Theory, Star-free Languages, Recognition